Linear map - PDFSEARCH.IO - Document Search Engine

Linear map
Results: 355

#	Item
61	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
62	Generic Promotion of Diffusion-Based Salient Object Detection Peng Jiang 1 Nuno Vasconcelos 2 Jingliang Peng 1 ∗ Add to Reading List Source URL: www.cv-foundation.org Language: English - Date: 2015-10-24 14:57:15 Algebra Mathematics Linear algebra Matrix theory Algebraic graph theory Computer vision Image processing Saliency map Eigenvalues and eigenvectors Spectral clustering Eigendecomposition of a matrix Laplacian matrix
63	Complex vector spaces, duals, and duels: Fun with a number, or two, or four Daniel Mathews December 30, 2007 Contents Add to Reading List Source URL: www.danielmathews.info Language: English - Date: 2010-04-17 22:11:18 Linear algebra Complexification Algebra over a field Dual space Vector space Complex vector bundle Linear map Inner product space Complex number Product Duality Euclidean vector
64	FORMALIZED MATHEMATICS 2007, Vol. 15, No. 3, Pages Add to Reading List Source URL: fm.mizar.org Language: English - Date: 2009-03-24 07:43:21 Algebra Mathematics Linear algebra Linear map Vector space Basis Linear subspace Rank Linear combination Operator Dual space Kernel
65	transalpyne: a language for automatic transposition Luca De Feo ´ Schost Eric Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:22:43 Mathematics Algebra Linear algebra Functions and mappings Abstract algebra Differential calculus Matrix Linear programming Linear map Const Derivative Determinant
66	November 7, :4 WSPC - Proceedings Trim Size: 9.75in x 6.5in Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2009-11-09 00:47:10 Biology Structural biology Protein structure Proteomics Bioinformatics Protein domains Biophysics Proteinprotein interaction STING Multiprotein complex Protein contact map Short linear motif
67	Qualifying exam, Spring 2007, Day 1 All problems are worth 10 points. Problem 1. (a) Let T be a linear map V → V , where V is a finite-dimensional vector space over an algebraically closed k. Show that V admits a non-z Add to Reading List Source URL: math.harvard.edu Language: English - Date: 2016-02-04 13:15:17
68	Linear process algebra Vaughan Pratt Stanford University, Stanford CA, USA Abstract. A linear process is a system of events and states related Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-09-20 03:50:07 Algebra Mathematics Linear algebra Abstract algebra Transformation Functions and mappings Chu space Topology Linear map Vector space Algebra over a field Isomorphism
69	Eureka Math™ Homework Helper 2015–2016 Precalculus Module 1 Lessons 1–30 Add to Reading List Source URL: greatminds.net Language: English - Date: 2015-09-11 15:06:25 Functions and mappings Elementary algebra Linear algebra Complex number Linearity Equation Precalculus Linear map Mathematical fallacy Function Matrix Calculus
70	Optimizing Neural Networks with Kronecker-factored Approximate Curvature James Martens Roger Grosse Department of Computer Science, University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-06-03 15:15:50 Estimation theory Neural networks Matrices Computational neuroscience Differential calculus Fisher information Maximum likelihood Gradient Linear map Mathematics Mathematical analysis Calculus

UPDATE